Codes used for the paper "Polynomial interpolation and a priori bootstrap for
computer-assisted proofs in nonlinear ODEs", by M. Breden and J.-P. Lessard.

*script_proof_111.m produces the proof of Theorem 7.2

*script_proof_A11.m produces the proof of Theorem 7.1

*script_proof_connection.m produces the proof of the connecting orbit for the Lorenz system displayed in Figure 3

*script_proof_periodic.m produces the proof of the periodic orbit for the Lorenz system displayed in Figure 2

*script_proof_IVP.m produces proofs for initial value problems for the Lorenz system, and can be used to reproduce the comparisons made in Section 6.1